- conjunction operator
- оператор конъюнкции
English-Russian dictionary of computer science. 2015.
conjunction operator
Смотреть что такое "conjunction operator" в других словарях:
Conjunction — can refer to: Conjunction (astronomy and astrology), an astronomical phenomenon Astrological aspect, an aspect in horoscopic astrology Conjunction (grammar), a part of speech Conjunctive mood (grammar), same as subjunctive mood Logical… … Wikipedia
Operator Grammar — For the class of formal computer languages, see Operator precedence grammar. Operator Grammar is a mathematical theory of human language that explains how language carries information. This theory is the culmination of the life work of Zellig… … Wikipedia
Commutativity of conjunction — In logic, the commutativity of conjunction demonstrates that predicates on both sides of a logical conjunction operator are interchangeable. This logical law is a part of classical logic.[1] For any propositions H1, H2, ... Hn, and permutation… … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Minimal negation operator — In logic and mathematics, the minimal negation operator u! is a multigrade operator ( u {k}) {k in mathbb{N where each u {k}! is a k ary boolean function defined in such a way that u {k}(x 1, ldots , x k) = 1 if and only if exactly one of the… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
De Morgan's laws — In formal logic, De Morgan s laws are rules relating the logical operators and and or in terms of each other via negation. With two operands A and B: In another form: NOT (A AND B) = (NOT A) OR (NOT B) NOT (A OR B) = (NOT A) AND (NOT B) The rules … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Canonical form (Boolean algebra) — In Boolean algebra, any Boolean function can be expressed in a canonical form using the dual concepts of minterms and maxterms. Minterms are called products because they are the logical AND of a set of variables, and maxterms are called sums… … Wikipedia
AND — 1. noun Alternative form of ∧, the conjunction operator. 2. verb To combine (a value) with another value by means of this operator. If an internal node is encountered that contains a mask, the search key is logically ANDed with the mask and… … Wiktionary
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
